USA - PDFSEARCH.IO - Document Search Engine

USA
Results: 56396

#	Item
21	Subject: Request to Attend Black Hat USA Conference 2017 Dear [decision maker name], I’m writing to request your approval for me to Add to Reading List Source URL: www.blackhat.com Language: English - Date: 2018-05-11 13:28:17 Security engineering Computer network security Cyberwarfare Computer security Crime prevention Cryptography National security Security
22	WebRelate: Integrating Web Data with Spreadsheets using Examples JEEVANA PRIYA INALA, MIT, USA RISHABH SINGH, Microsoft Research, USA Data integration between web sources and relational data is a key challenge faced by d Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Software engineering Computer programming Formal languages Spreadsheet Regular expression Domain-specific language Data transformation Web scraping String Computer Scheme
23	Poorly Measured Confounders Are More Useful on the Left Than on the Right Zhuan Pei Dept. of Policy Analysis and Management, Cornell University, Ithaca, NY, USA () ¨ rn-Steffen Pischke Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2018-03-26 09:15:07 Statistical inference Multivariate statistics Estimation theory Econometrics Regression analysis Parametric statistics Linear regression Statistical hypothesis testing Instrumental variables estimation Power Regression dilution Correlation and dependence
24	Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 FO Finite model theory Model theory Metaphilosophy Mathematical logic Mathematics Sigma-algebra Pattern language
25	Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:58 Computing Software engineering Models of computation UML state machine State diagram HSM Scala
26	ECM on Graphics Cards Daniel J. Bernstein1 , Tien-Ren Chen2 , Chen-Mou Cheng3 , Tanja Lange4 , and Bo-Yin Yang2 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:43 Video cards Computer architecture Computing Graphics hardware CUDA GeForce Graphics processing unit Nvidia GeForce 500 series GeForce 400 series
27	An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Computing Software engineering Computer programming Functional programming Subroutines Computability theory Theoretical computer science Computer algebra systems Pattern matching Wolfram Mathematica Expr Anonymous function
28	September 12, 2018 Japan Tobacco International, USA, Inc. Glenpointe Centre West 500 Frank W. Burr Blvd. #24 Teaneck, NJDear Mr. Jerry Loftin: Add to Reading List Source URL: www.fda.gov Language: English Health Tobacco Food and Drug Administration Smoking Electronic cigarettes Tobacco control Smoking cessation Tobacco in the United States Center for Tobacco Products Federal Food Drug and Cosmetic Act Cigarette Premarket tobacco application
29	High-speed high-security signatures Daniel J. Bernstein1 , Niels Duif2 , Tanja Lange2 , Peter Schwabe3 , and Bo-Yin Yang4 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-07-09 00:19:47 Cryptography Elliptic curve cryptography EdDSA Elliptic-curve cryptography Elliptic Curve Digital Signature Algorithm Curve25519 Elliptic-curve DiffieHellman Digital signature Digital Signature Algorithm Daniel J. Bernstein Hash function Public-key cryptography
30	New Challenges in Model Checking Gerard J. Holzmann, Rajeev Joshi, and Alex Groce NASA/JPL Laboratory for Reliable Software, Pasadena, CA 91109, USA {Gerard.Holzmann, Rajeev.Joshi,Alex.Groce}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:32:09 Formal methods Theoretical computer science Software engineering Computing Logic in computer science Software testing Model checking Formal verification Software verification Flash memory Verification Software quality

UPDATE